projects
/
gringo.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
gringo.git
2020-04-03
Steve Langasek
fix compatibility with Python 3.8
commit
|
commitdiff
|
tree
|
snapshot
2020-04-03
Thomas Krennwallner
Fix testsuite for python3 when reading utf-8 scripts
commit
|
commitdiff
|
tree
|
snapshot
2020-04-03
Thomas Krennwallner
Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages
commit
|
commitdiff
|
tree
|
snapshot
2020-04-03
Thomas Krennwallner
gringo (5.4.0-2) unstable; urgency=medium
commit
|
commitdiff
|
tree
|
snapshot
2020-04-03
Thomas Krennwallner
Import gringo_5.4.0-2.debian.tar.xz
commit
|
commitdiff
|
tree
|
snapshot
2020-03-30
Thomas Krennwallner
Import gringo_5.4.0.orig.tar.gz
commit
|
commitdiff
|
tree
|
snapshot